independent number

[網絡] 獨立數;最大獨立集的點數;記為